机译:颜色:通过有色Petri网执行,调试和分析QVT关系转换
机译:在TRBAC安全政策的正式研究中使用等级彩色培养网
机译:在TRBAC安全政策的正式研究中使用层次定时彩色Petri网(Vol 19,PG 163,2020)
机译:有色Petri网对QVT关系的正式支持
机译:使用彩色Petri网自动进行Internet协议的安全性分析。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:嵌入式系统用例建模的参数化部分订单:彩色petri网的形式化定义和翻译